Diagnosis and Debugging as Contradiction Removal
نویسندگان
چکیده
منابع مشابه
Debugging by Diagnosing Assumptions
We present a novel and uniform technique for normal logic program declarative error diagnosis. We lay down the foundations on a general approach to diagnosis using logic programming, and bring out the close relationship between debugging and fault{{nding. Diagnostic debugging can be enacted by contradiction removal methods. It relies on a simple program transformation to provide a contradiction...
متن کاملDiagnosis and Debugging as Contradiction Removal in Logic Programs
We apply to normal logic programs with integrity rules a contradiction removal approach, and use it to uniformly treat diagnosis and debugging, and as a matter of fact envisage programs as artifacts and fault-nding as debugging. Our originality resides in applying to such programs the principle that if an assumption leads to contradiction then it should be revised: assumptions are not A literal...
متن کاملOptative Reasoning with Scenario Semantics
The scenario semantics of extended logic programs builds upon simple primitive notions and has been shown to encompass many important logic program semantics. Here we introduce into the scenario semantics paradigm a general exible notion of optative acceptance of acceptable hypotheses, and proceed to illustrate its application to fault diagnosis, taxonomic reasoning, and declarative logic progr...
متن کاملFault Localization Models in Debugging
Debugging is considered as a rigorous but important feature of software engineering process. Since more than a decade, the software engineering research community is exploring different techniques for removal of faults from programs but it is quite difficult to overcome all the faults of software programs. Thus, it is still remains as a real challenge for software debugging and maintenance comm...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1993